CatDat

Implication Details

Assumptions: finite copowersself-dual

Conclusions: finite powers

Proof: This holds by self-duality.